Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach

In this article, we focus on mitigating the computational complexity in abstraction-based controller synthesis for interconnected control systems. To do so, provide a compositional framework construction of abstractions systems and bottom-up scheme. particular, propose notion approximate composition which makes it possible to compute an abstraction global system from (possibly different types) its components. Finally, by leveraging our composition, approach controllers enforcing decomposable safety specifications. The effectiveness proposed results is demonstrated using two case studies (viz., dc microgrid traffic network) comparing them with schemes.